Issue2489.agda:28,8-14
No instance of type ⊤ was found in scope.
when checking that the expression search has type ⊤
